🔍 Static Analysis - abnv · Scour

What Is Static Code Analysis and How Does It Work

dev.to·4d·

Discuss: DEV

🔬Code Analysis

Invariant-Driven Automated Testing

arxiv.org·1d

🧪Compiler Testing

Lean and AI caught a bug in my 2-year-old TLA+ spec

medium.com·23h·

Discuss: Hacker News

🎯Symbolic Execution

Code Rewriting With AI and TDD

dzone.com·19h

🚚Code Migration

Static taint analysis for LLM agents

deepclause.substack.com·1d·

Discuss: Substack

🎲Parser Fuzzing

🔴 Your architecture rules are dying in Confluence. Here's how to make them bite back.

dev.to·2h·

Discuss: DEV

🌳Tree Shaking

VeriBin: Adaptive Verification of Patches at the Binary Level

papers.cool·1d

🎯Symbolic Execution

ivanbelenky/nbdantic: humble structure validator for notebooks

github.com·2h·

Discuss: Hacker News, r/Python

📝Text Editors

What every computer science major should know

matt.might.net·7h·

Discuss: Hacker News

📖Literate Programming

liw.fi·1d

🦀MIR Optimization

Error Handling Strategies for Probabilistic Code Execution

sitepoint.com·12h

🚂Error Propagation

From Vibe Coding to Spec-Driven Development (Building a Car Classifieds App)

youtube.com·11h·

Discuss: DEV

🎮Language Ergonomics

When AI Writes Code. Why Frontend and Mobile Development Need a New Standard for State Management

reflex.js.org·14h·

Discuss: DEV

🎮Language Ergonomics

MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers

papers.cool·1d

🧪Compiler Testing

Zevi's AI Development Workflow

shorthaired-billboard-f9a.notion.site·1d

Show HN: Btrc – I built a language with AI in a few weeknights that outputs C11

github.com·14h·

Discuss: Hacker News

🧸Toy Compilers

Static Testing Guide for Success

qable.io·3d

🧪Compiler Testing

Essential Python Libraries for Data Science

pub.towardsai.net

·1h

Security Analysis with Mistral Devstral

medium.com

·1d

✅Configuration Validation

A language designed for machines to write

veralang.dev·1d

🎭Racket Modules

Loading more...